国产bbaaaaa片,成年美女黄网站色视频免费,成年黄大片,а天堂中文最新一区二区三区,成人精品视频一区二区三区尤物

首頁> 外文OA文獻(xiàn) >ASPIC-END: Structured Argumentation with Explanations and Natural Deduction
【2h】

ASPIC-END: Structured Argumentation with Explanations and Natural Deduction

機(jī)譯：aspIC-END：結(jié)構(gòu)化論證與解釋和自然演繹

代理獲取
本網(wǎng)站僅為用戶提供外文OA文獻(xiàn)查詢和代理獲取服務(wù)，本網(wǎng)站沒有原文。下單后我們將采用程序或人工為您竭誠獲取高質(zhì)量的原文，但由于OA文獻(xiàn)來源多樣且變更頻繁，仍可能出現(xiàn)獲取不到、文獻(xiàn)不完整或與標(biāo)題不符等情況，如果獲取不到我們將提供退款服務(wù)。請知悉。
  • 摘要
  • 著錄項(xiàng)
  • 相似文獻(xiàn)
  • 相關(guān)主題

摘要

We propose ASPIC-END, an adaptation of the structured argumentation framework ASPIC+ which can incorporate explanations and natural deduction style arguments. We discuss an instantiation of ASPIC-END that models argumentation about explanations of semantic paradoxes (e.g. the Liar paradox), and we show that ASPIC-END satisfies rationality postulates akin to those satisfied by ASPIC+.
機(jī)譯：我們提出ASPIC-END，這是對結(jié)構(gòu)化論證框架ASPIC +的改編，其中可以包含解釋和自然演繹風(fēng)格的論證。我們討論了ASPIC-END的實(shí)例化，該實(shí)例化了關(guān)于語義悖論（例如Liar悖論）的解釋的論證，并且我們證明ASPIC-END滿足合理性假設(shè)，類似于ASPIC +所滿足的假設(shè)。

著錄項(xiàng)

相似文獻(xiàn)

  • 外文文獻(xiàn)
  • 中文文獻(xiàn)
  • 專利
代理獲取

客服郵箱：kefu@zhangqiaokeyan.com

京公網(wǎng)安備：11010802029741號 ICP備案號：京ICP備15016152號-6 六維聯(lián)合信息科技 (北京) 有限公司?版權(quán)所有

  • 客服微信

  • 服務(wù)號